A software toolbox for dynamical system analysis and exact model reduction